A workshop on approximation algorithms for combinatorial optimization problems focussing on algorithmic and complexity aspects arising in the development of efficient approximate solutions to computationally difficult problems. It aims, in particular,...
An integrated C programming environment for reversible execution and logic-based software visualization developed at the University of Rome "La Sapienza".
An integrated environment for the development, reversible execution, logic-based animation and visual debugging of C programs. Snapshots, animations, online manual, download and related links too.